Enseignement scientifique et lignes de partage disciplinaire

Environnement de workflow scientifique Validation et conformités

RÉSUMÉ. Les chercheurs des domaines environnementaux (biologie, information géographique, etc.) ont besoin de capitaliser, diffuser et valider les protocoles utilisés. Pour répondre à cette demande, le concept de workflow scientifique a été proposé. La plateforme MDWeb permet la collecte, la diffusion de ressources environnementales. Notre objectif est d’intégrer dans cette plateforme un enviro...

Partage de secret et théorie algorithmique de l’information

Secret sharing deals with splitting a secret data between several participants. The participants are organized within an access structure consisting of groups that may gain access to the secret. The goal is to provide each participant with a piece of information such that the following two requirements are met: 1. Recoverability: a qualified group can recover the secret, 2. Privacy: any other g...

Modélisation et évaluation d’algorithmes de partage de charge

RÉSUMÉ. L’étude développée dans cet article porte sur le comportement dynamique de protocoles de partage de charge dans des systèmes parallèles et/ou distribués. Après une synthèse des différentes approches utilisées pour l’évaluation quantitative de ces protocoles, nous proposons un modèle simplifié mettant en évidence les différents comportements possibles. De plus, ce modèle permet une estim...

Éditorial: Informatique et enseignement

Programmation, logique et calcul: Présentation d'un enseignement de maîtrise d'informatique

We present a course given at the “Maîtrise d’informatique” level at Université of Rennes 1. This course studies relations between logic and computation, among which proofsearching as computing, hence a first course in logic programming. This course is not limited to logic programming, but it is the only one that the student will get on logic programming. Though this course focuses on theoretica...